大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 John David 的图书(共8889本)

Gems of Geometry [electronic resource]

0
索取号:
作者:Barnes、 John.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号:
作者:Derrick、 John.、Fitzgerald、 John.、Gnesi、 Stefania.、Khurshid、 Sarfraz.、Leuschel、 Michael.、Reeves、 Steve.、Riccobene、 Elvinia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz

0
索取号:
作者:Erdem、 Esra.、Lee、 Joohyung.、Lierler、 Yuliya.、Pearce、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号:
作者:Derrick、 John.、Gnesi、 Stefania.、Latella、 Diego.、Treharne、 Helen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Facing the Multicore - Challenge II [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing

0
索取号:
作者:Keller、 Rainer.、Kramer、 David.、Weiss、 Jan-Philipp.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Future Internet [electronic resource] : Future Internet Assembly 2012: From Promises to Reality

0
索取号:
作者:脕lvarez、 Federico.、Cleary、 Frances.、Daras、 Petros.、Domingue、 John.、Galis、 Alex.、Garcia、 Ana.、Gavras、 Anastasius.、Karnourskos、 Stamatis.、Krco、 Srdjan.、Li、 Man-Sze.、Lotz、 Volkmar.、M眉ller、 Henning.、Salvadori、 Elio.、Sassen、 Anne-Marie.、Schaffers、 Hans.、Stiller、 Burkhard.、Tselentis、 Georgios.、Turkama、 Petra.、Zahariadis、 Theodore.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Computer Science and Information Engineering [electronic resource] : Volume 2

0
索取号:
作者:Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Computer Science, Engineering & Applications [electronic resource] : Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1

0
索取号:
作者:Wyld、 David C.、Zizka、 Jan.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Science and Information Engineering [electronic resource] : Volume 1

0
索取号:
作者:Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computer Science, Engineering & Applications [electronic resource] : Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2

0
索取号:
作者:Wyld、 David C.、Zizka、 Jan.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Enterprise Engineering VI [electronic resource] : Second Enterprise Engineering Working Conference, EEWC 2012, Delft, The Netherlands, May 7-8, 2012. Proceedings

0
索取号:
作者:Albani、 Antonia.、Aveiro、 David.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

0
索取号:
作者:Croitoru、 Madalina.、Rudolph、 Sebastian.、Wilson、 Nic.、Howse、 John.、Corby、 Olivier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Future Computer and Control Systems [electronic resource] : Volume 2

0
索取号:
作者:Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Future Computer and Control Systems [electronic resource] : Volume 1

0
索取号:
作者:Jin、 David.、Lin、 Sally.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings

0
索取号:
作者:Fern谩ndez-Baca、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Electronic Healthcare [electronic resource] : 4th International Conference, eHealth 2011, M谩laga, Spain, November 21-23, 2011, Revised Selected Papers

0
索取号:
作者:Kostkova、 Patty.、Szomszor、 Martin.、Fowler、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类